Laboratoire I3S

The versions in C used for the benchmark SquareRoot for tool BugAssist

  1. SquareRootV0.c
  2. SquareRootV1.c
  3. SquareRootV2.c
  4. SquareRootV3.c
  5. SquareRootV4.c
  6. SquareRootV5.c
  7. SquareRootV6.c
  8. SquareRootV7.c
  9. SquareRootV8.c
  10. SquareRootV9.c
  11. SquareRootV10.c
  12. SquareRootV11.c
  13. SquareRootV12.c
  14. SquareRootV13.c
  15. SquareRootV14.c
  16. SquareRootV15.c
  17. SquareRootV16.c
  18. SquareRootV17.c
  19. SquareRootV18.c
  20. SquareRootV19.c
  21. SquareRootV20.c
  22. SquareRootV21.c
  23. SquareRootV22.c
  24. SquareRootV23.c
  25. SquareRootV24.c
  26. SquareRootV25.c
  27. SquareRootV26.c
  28. SquareRootV27.c
  29. SquareRootV28.c
  30. SquareRootV29.c
  31. SquareRootV30.c
  32. SquareRootV31.c
  33. SquareRootV32.c
  34. SquareRootV33.c
  35. SquareRootV34.c
  36. SquareRootV35.c
  37. SquareRootV36.c
  38. SquareRootV37.c
  39. SquareRootV38.c
  40. SquareRootV39.c
  41. SquareRootV40.c
  42. SquareRootV41.c
  43. SquareRootV42.c
  44. SquareRootV43.c
  45. SquareRootV44.c
  46. SquareRootV45.c
  47. SquareRootV46.c
  48. SquareRootV47.c
  49. SquareRootV48.c
  50. SquareRootV49.c
  51. SquareRootV50.c
  52. SquareRootV51.c
  53. SquareRootV52.c
  54. SquareRootV53.c
  55. SquareRootV54.c
  56. SquareRootV55.c
  57. SquareRootV56.c
  58. SquareRootV57.c
  59. SquareRootV58.c
  60. SquareRootV59.c
  61. SquareRootV60.c
  62. SquareRootV61.c
  63. SquareRootV62.c
  64. SquareRootV63.c
  65. SquareRootV64.c
  66. SquareRootV65.c
  67. SquareRootV66.c
  68. SquareRootV67.c
  69. SquareRootV68.c
  70. SquareRootV69.c
  71. SquareRootV70.c
  72. SquareRootV71.c
  73. SquareRootV72.c
  74. SquareRootV73.c
  75. SquareRootV74.c
  76. SquareRootV75.c
  77. SquareRootV76.c
  78. SquareRootV77.c
  79. SquareRootV78.c
  80. SquareRootV79.c
  81. SquareRootV80.c
  82. SquareRootV81.c
  83. SquareRootV82.c
  84. SquareRootV83.c
  85. SquareRootV84.c
  86. SquareRootV85.c
  87. SquareRootV86.c
  88. SquareRootV87.c
  89. SquareRootV88.c
  90. SquareRootV89.c
  91. SquareRootV90.c